Division-Based Versus General Decomposition- Based Multiple-Level Logic Synthesis

Evolutionary Algorithms in Decomposition-Based Logic Synthesis

Decomposition-based logic synthesis for PAL-based CPLDs

The paper presents one concept of decomposition methods dedicated to PAL-based CPLDs. The proposed approach is an alternative to the classical one, which is based on two-level minimization of separate single-output functions. The key idea of the algorithm is to search for free blocks that could be implemented in PAL-based logic blocks containing a limited number of product terms. In order to be...

Logic-Based Benders Decomposition

Benders decomposition uses a strategy of “learning from one’s mistakes.” The aim of this paper is to extend this strategy to a much larger class of problems. The key is to generalize the linear programming dual used in the classical method to an “inference dual.” Solution of the inference dual takes the form of a logical deduction that yields Benders cuts. The dual is therefore very different f...

Logic-Based Software Project Decomposition

Prevailing design modeling techniques are not designed to generally model decisions made throughout software lifecycle, nor to support automatic modularity analysis. We have developed an analyzable design representation called an augmented constraint network (ACN), and an algorithm to decompose a big ACN model into smaller subACNs. To evaluate the effectiveness of the decomposition algorithm in...

Empirical Mode Decomposition based Adaptive Filtering for Orthogonal Frequency Division Multiplexing Channel Estimation

This paper presents an empirical mode decomposition (EMD) based adaptive filter (AF) for channel estimation in OFDM system.  In this method, length of channel impulse response (CIR) is first approximated using Akaike information criterion (AIC). Then, CIR is estimated using adaptive filter with EMD decomposed IMF of the received OFDM symbol. The correlation and kurtosis measures are used to sel...